<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
<head>
   <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
   <meta name="GENERATOR" content="Mozilla/4.6 [en] (X11; I; Linux 2.2.5-15 i586) [Netscape]">
   <title>Credits</title>
</head>
<body>

<h1>
<a href="http://pagina.de.la.scoala"><img SRC="images/vIDE.gif" ALT="The official vIDE page at PUB" NOSAVE height=45 width=105 align=CENTER></a>Installation
notes:</h1>
You can set the VIDE_HOME environment variabile by typing th folowing at
the commmand line prompt (or, you can alternatively put these lines into
<tt>/etc/profile</tt> or <tt>autoexec.bat</tt>):
<br><i>$export VIDE_HOME=&lt;path_to_your_vIDE_installation></i> on UNIX,
<br>or:
<br><i>set VIDE_HOME=&lt;path_to_your_vIDE_installation></i> on Microsoft-
based platforms.
<br><a href="toc.html"><img SRC="images/back.gif" NOSAVE BORDER=0 NATURALSIZEFLAG="3" height=22 width=42 align=BOTTOM></a>
</body>
</html>
